Mario Bravetti: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Behavioral Types in Programming Languages

Ancona, Davide, Bono, Viviana, Bravetti, Mario, Campos, Joana, Castagna, Giuseppe, Deniélou, Pierre-Malo, Gay, Simon J., Gesbert, Nils, Giachino, Elena, Hu, Raymond, Johnsen, Einar Broch, Martins, Fra

Journal:

Foundations and Trends® in Programming Languages

Year:

2016

Language:

english

File:

PDF, 1.00 MB

english, 2016

2

Process calculi as a tool for studying coordination, contracts and session types

Bravetti, Mario, Zavattaro, Gianluigi

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2020

File:

PDF, 838 KB

2020

3

Service Oriented Computing: A New Challenge for Process Algebras

Mario Bravetti, Gianluigi Zavattaro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 162 KB

english, 2006

4

[Lecture Notes in Computer Science] CONCUR 2009 - Concurrency Theory Volume 5710 || Bigraphical Categories

Bravetti, Mario, Zavattaro, Gianluigi

Year:

2009

Language:

english

File:

PDF, 151 KB

english, 2009

5

Dynamic rebinding for concurrent object groups: Theory and practice

Bravetti, Mario, Giachino, Elena, Lienhardt, Michael, Wong, Peter Y.H.

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2016

Language:

english

File:

PDF, 1.01 MB

english, 2016

6

On the boundary between decidability and undecidability of asynchronous session subtyping

Bravetti, Mario, Carbone, Marco, Zavattaro, Gianluigi

Journal:

Theoretical Computer Science

Year:

2018

Language:

english

File:

PDF, 1.08 MB

english, 2018

7

Reduction semantics in Markovian process algebra

Bravetti, Mario

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2018

Language:

english

File:

PDF, 689 KB

english, 2018

8

Probabilistic software product lines

Camacho, Carlos, Llana, Luis, Núñez, Alberto, Bravetti, Mario

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2019

Language:

english

File:

PDF, 1.46 MB

english, 2019

9

A process-algebraic approach for the analysis of probabilistic noninterference1

Aldini, Alessandro, Bravetti, Mario, Gorrieri, Roberto

Journal:

Journal of Computer Security

Year:

2004

File:

PDF, 484 KB

2004

10

Combining Partitions in SecSpaces

Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 223 KB

english, 2004

11

Preface

Mario Bravetti, Gianluigi Zavattaro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 70 KB

english, 2004

12

From Theoretical e-barter Models to an Implementation Based on Web Services

Mario Bravetti, Adalberto Casalboni, Manuel Núñez, Ismael Rodríguez

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 1.14 MB

english, 2006

13

Stochastic and Real Time in Process Algebra: A Conceptual Overview

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 201 KB

english, 2006

14

Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 464 KB

english, 2008

15

Preface

Mario Bravetti, Roberto Gorrieri

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 55 KB

english, 2004

16

On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda

Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 254 KB

english, 2005

17

Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 402 KB

english, 2008

18

Quantitative information in the tuple space coordination model

Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 238 KB

english, 2005

19

The theory of interactive generalized semi-Markov processes

Mario Bravetti, Roberto Gorrieri

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 260 KB

english, 2002

20

Performance measure sensitive congruences for Markovian process algebras

Marco Bernardo, Mario Bravetti

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 359 KB

english, 2003

21

Non-determinism in Probabilistic Timed Systems with General Distributions

Mario Bravetti, Alessandro Aldini

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 456 KB

english, 2002

22

An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 1.76 MB

english, 2003

23

A formal approach for checking security properties in SecSpaces

Roberto Lucchi, Mario Bravetti, Roberto Gorrieri

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 927 KB

english, 2003

24

Axiomatizing ST Bisimulation for a Process Algebra with Recursion and Action Refinement (Extended Abstract)

Mario Bravetti, Roberto Gorrieri

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 471 KB

english, 1999

25

Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time

Mario Bravetti, Marco Bernardo

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 321 KB

english, 2000

26

YMCA: —Why Markov Chain Algebra?—

Mario Bravetti, Holger Hermanns, Joost-Pieter Katoen

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 170 KB

english, 2006

27

A Generic Process Algebra

Jos C.M. Baeten, Mario Bravetti

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 204 KB

english, 2006

28

Revisiting Interactive Markov Chains

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 1.21 MB

english, 2003

29

Guest editor’s introduction: Special issue on Web Services and Formal Methods

Mario Bravetti, Gianluigi Zavattaro

Journal:

The Journal of Logic and Algebraic Programming

Year:

2007

Language:

english

File:

PDF, 66 KB

english, 2007

30

Guest Editors’ Foreword

Luca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon

Journal:

The Journal of Logic and Algebraic Programming

Year:

2008

Language:

english

File:

PDF, 69 KB

english, 2008

31

Service oriented computing from a process algebraic perspective

Mario Bravetti, Gianluigi Zavattaro

Journal:

The Journal of Logic and Algebraic Programming

Year:

2007

Language:

english

File:

PDF, 169 KB

english, 2007

32

Guest Editors’ Foreword

Luca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon

Journal:

The Journal of Logic and Algebraic Programming

Year:

2007

Language:

english

File:

PDF, 84 KB

english, 2007

33

Guest Editors’ Foreword

Luca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon

Journal:

The Journal of Logic and Algebraic Programming

Year:

2007

Language:

english

File:

PDF, 86 KB

english, 2007

34

Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement

Bravetti, Mario, Gorrieri, Roberto

Journal:

ACM Transactions on Computational Logic

Year:

2002

Language:

english

File:

PDF, 524 KB

english, 2002

35

[Lecture Notes in Computer Science] Web Services and Formal Methods Volume 4184 || Verified Reference Implementations of WS-Security Protocols

Bravetti, Mario, Núñez, Manuel, Zavattaro, Gianluigi

Year:

2006

Language:

english

File:

PDF, 349 KB

english, 2006

36

[Lecture Notes in Computer Science] Web Services and Formal Methods Volume 4184 || A Formal Approach to Service Component Architecture

Bravetti, Mario, Núñez, Manuel, Zavattaro, Gianluigi

Year:

2006

Language:

english

File:

PDF, 705 KB

english, 2006

37

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 8137 || A Tool for Behaviour-Based Discovery of Approximately Matching Web Services

Hierons, Robert M., Merayo, Mercedes G., Bravetti, Mario

Year:

2013

Language:

english

File:

PDF, 362 KB

english, 2013

38

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 8137 || Verifying MARTE/CCSL Mode Behaviors Using UPPAAL

Hierons, Robert M., Merayo, Mercedes G., Bravetti, Mario

Year:

2013

Language:

english

File:

PDF, 667 KB

english, 2013

39

[Lecture Notes in Computer Science] Formal Techniques for Computer Systems and Business Processes Volume 3670 || A Compositional Operational Semantics for OWL-S

Bravetti, Mario, Kloul, Leïla, Zavattaro, Gianluigi

Year:

2005

Language:

english

File:

PDF, 258 KB

english, 2005

40

[Lecture Notes in Computer Science] Web Services and Formal Methods Volume 4184 || Towards the Formal Model and Verification of Web Service Choreography Description Language

Bravetti, Mario, Núñez, Manuel, Zavattaro, Gianluigi

Year:

2006

Language:

english

File:

PDF, 301 KB

english, 2006

41

[Lecture Notes in Computer Science] Web Services and Formal Methods Volume 6551 || Introducing the Guard-Stage-Milestone Approach for Specifying Business Entity Lifecycles

Bravetti, Mario, Bultan, Tevfik

Year:

2011

Language:

english

File:

PDF, 1.21 MB

english, 2011

42

[Lecture Notes in Computer Science] Formal Techniques for Computer Systems and Business Processes Volume 3670 || Automatic Translation of WS-CDL Choreographies to Timed Automata

Bravetti, Mario, Kloul, Leïla, Zavattaro, Gianluigi

Year:

2005

Language:

english

File:

PDF, 301 KB

english, 2005

43

On the expressive power of process interruption and compensation

BRAVETTI, MARIO, ZAVATTARO, GIANLUIGI

Journal:

Mathematical Structures in Computer Science

Year:

2009

Language:

english

File:

PDF, 512 KB

english, 2009

44

A theory of contracts for strong service compliance

BRAVETTI, MARIO, ZAVATTARO, GIANLUIGI

Journal:

Mathematical Structures in Computer Science

Year:

2009

Language:

english

File:

PDF, 478 KB

english, 2009

45

[Lecture Notes in Computer Science] Web Services and Formal Methods Volume 4184 || Analysis and Verification of Time Requirements Applied to the Web Services Composition

Bravetti, Mario, Núñez, Manuel, Zavattaro, Gianluigi

Year:

2006

Language:

english

File:

PDF, 322 KB

english, 2006

46

[Lecture Notes in Computer Science] Formal Techniques for Computer Systems and Business Processes Volume 3670 || A Parametric Communication Model for the Verification of BPEL4WS Compositions

Bravetti, Mario, Kloul, Leïla, Zavattaro, Gianluigi

Year:

2005

Language:

english

File:

PDF, 341 KB

english, 2005

47

[Lecture Notes in Computer Science] Formal Techniques for Computer Systems and Business Processes Volume 3670 || Life After BPEL?

Bravetti, Mario, Kloul, Leïla, Zavattaro, Gianluigi

Year:

2005

Language:

english

File:

PDF, 260 KB

english, 2005

48

A ground-complete axiomatisation of finite-state processes in a generic process algebra

BAETEN, JOS C. M., BRAVETTI, MARIO

Journal:

Mathematical Structures in Computer Science

Year:

2008

Language:

english

File:

PDF, 425 KB

english, 2008

49

[Lecture Notes in Computer Science] Web Services and Formal Methods Volume 6551 || Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways

Bravetti, Mario, Bultan, Tevfik

Year:

2011

Language:

english

File:

PDF, 269 KB

english, 2011

50

[Lecture Notes in Computer Science] CONCUR 2009 - Concurrency Theory Volume 5710 || Algebra for Infinite Forests with an Application to the Temporal Logic EF

Bravetti, Mario, Zavattaro, Gianluigi

Year:

2009

Language:

english

File:

PDF, 625 KB

english, 2009